Perhaps this is a new type of plugin, one that is
designed to edit a specific file type which has special
display requirements. The jEdit API would need to
allow something like this:
public class MyTextArea extends JEditTextArea {
...
}
jEdit.register( MyTextArea.class, "MyFileType");
So whenever the user opens a file of "MyFileType",
jEdit uses MyTextArea. A consequence may well be
extending Buffer and other related classes.
NetBeans offers this sort of functionality in which you
can associate a plugin with a MIME type and you are
given your own edit window to work with. But that
special edit window is treated like all the others by
the rest of the framework.
| Submitted | andystreich - 2006-07-10 - 22:01:26z | Assigned | nobody |
|---|---|---|---|
| Priority | 5 | Category | None |
| Status | Open | Group | None |
| Resolution | None | Visibility | No |